Cdmtcs Research Report Series Eective Presentability of Boolean Algebras of Cantor{bendixson Rank 1 Eective Presentability of Boolean Algebras of Cantor{bendixson Rank 1
نویسنده
چکیده
We show that there is a computable Boolean algebra B and a computably enumerable ideal I of B such that the quotient algebra B=I is of Cantor{Bendixson rank 1 and is not isomorphic to any computable Boolean algebra. This extends a result of L. Feiner and is deduced from Feiner's result even though Feiner's construction yields a Boolean algebra of in nite Cantor{Bendixson rank.
منابع مشابه
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1
We show that there is a computable Boolean algebra B and a computably enu-merable ideal I of B such that the quotient algebra B=I is of Cantor{Bendixson rank 1 and is not isomorphic to any computable Boolean algebra. This extends a result of L. Feiner and is deduced from Feiner's result even though Feiner's construction yields a Boolean algebra of innnite Cantor{Bendixson rank.
متن کاملInfinite Presentability of Groups and Condensation
We describe various classes of infinitely presented groups that are condensation points in the space of marked groups. A well-known class of such groups consists of finitely generated groups admitting an infinite minimal presentation. We introduce here a larger class of condensation groups, called infinitely independently presentable groups, and establish criteria which allow one to infer that ...
متن کاملHeight and Width of Superatomic Boolean Algebras
Cantor-Bendixson height and width of superatomic Boolean algebras is investigated and it is shown that (1) you don't need a Canadian tree to construct an u>,-thin-thick superatomic Boolean algebra; (2) c can be very large and for all k < c and all uncountable X, k < c, there are no K-thin-very tall, X-thin-tall, ic-very thin-thick, or X-thin-thick superatomic Boolean algebras on k. 0. Introduct...
متن کاملOn the Cantor-bendixson Rank of Metabelian Groups
We study the Cantor-Bendixson rank of metabelian and virtually metabelian groups in the space of marked groups, and in particular, we exhibit a sequence (Gn) of 2-generated, finitely presented, virtually metabelian groups of Cantor-Bendixson ωn.
متن کاملConstructions of thin-tall Boolean spaces
This is an expository paper about constructions of locally compact, Hausdorff, scattered spaces whose Cantor-Bendixson height has cardinality greater than their Cantor-Bendixson width. 2000 Mathematics Subject Classification: 54A25, 54A35, 54G12,03E05, 06E15.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997